『代替集合論＊ （Alternative Set Theories） の調査』

集合にはたまに聞くZFC公理系以外の集合公理系がある。

$ \mathbf{R} := \{x | x ∉x\} ⇒ (R∈R ↔ R∉R)

$ \mathbf{R}:= \mathrm{すべての集合の集合} ⇒ |V| ＜ |2^V| ≦ |V|

順序数すべての集合Ordは順序数であり Ord < Ord+1 = (Ord ∪ {Ord}) = Ord

クラスのある集合論

VGB set theory

M. Randall Holmes, Alternative Set Theories, 2006